(assert (= 0 1))
(check-sat)
